$\forall$${\it es}$:ES, $e$:E. (es{-}init(${\it es}$;$e$) = $e$) $\Leftarrow\!\Rightarrow$ ($\uparrow$first($e$))